| Name | Version | Summary | date |
|---|---|---|---|
| repraxis | 1.3.1 | An in-memory logic database solution for games, based on Versu's Praxis language. | 2024-03-25 17:56:09 |
| aspmc | 1.1.1 | An efficient algebraic model counter. | 2024-03-22 17:41:53 |
| hour | day | week | total |
|---|---|---|---|
| 47 | 2040 | 10718 | 209612 |